#ifndef _OS_TIMERS_H_
#define _OS_TIMERS_H_

#include "types.h"

void start_timer(uint32_t data);
void cancel_timer(uint32_t data);
void initialize_timers(void);
#endif
